1. A calculus of communicating systems
پدیدآورنده: / Robin Milner
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory.,Formal languages.
رده :
QA
,
267
,.
M53
2. Atlas of Russia and the Soviet Union
پدیدآورنده: By Robin Milner-Gulland with Nikolai Dejevsky
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع: Soviet Union--History--Pictorial works.,Soviet Union--Historical geography.
3. Communication and Concurrency
پدیدآورنده: / Robin Milner
کتابخانه: کتابخانه و مدیریت دانش دانشکدگان مدیریت (دانشگاه تهران) (تهران)
موضوع: Computer Systems,Operating Systems,Concurrent Programming
رده :
005
.
42
M659c
4. Communication and concurrency
پدیدآورنده: Robin Milner
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Machine theory,Formal languages
رده :
QA
،
267
،.
M533
،
1989
5. Communication and concurrency
پدیدآورنده: Milner, R.)Robin(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Machine theory,، Formal languages
رده :
QA
267
.
M533
1989
6. Communication and concurrency /
پدیدآورنده: Robin Milner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal languages.,Machine theory.,Operating systems (Computers).,Parallélisme (Informatique),Systèmes d'exploitation (Ordinateurs)-- Logiciels.,Betriebssystem,Betriebssystem.,Formal languages.,Kommunikationssystem,Kommunikationssystem.,Machine theory.,Parallelverarbeitung,Programmierung,Verteiltes System
رده :
QA267
.
M533
1989
7. Communication and concurrency
پدیدآورنده: / Robin Milner
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Machine theory,Formal languages
رده :
QA267
.
M533
1989
8. Communication and concurrency
پدیدآورنده: / Robin Milner
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Machine theory,Formal languages
رده :
QA
267
.
M53
1989
9. Communication and concurrency
پدیدآورنده: Milner, Robin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Machine theory,، Formal languages
رده :
QA
267
.
M533
10. Communication and concurrency
پدیدآورنده: / Robin Milner
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer systems,Operating systems(computers),Concurrent programming
رده :
TK
5101
.
M5
1989
11. Communication & concurrency
پدیدآورنده: MILNER,ROBIN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: MACHINE THEORY , FORMAL LANGUAGES
رده :
QA
267
.
M533
12. Cultural diversity and the schools /
پدیدآورنده: edited by James Lynch, Celia Modgil, and Sohan Modgil.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cultural pluralism.,Discrimination in education.,Group work in education.,Multicultural education.,Prejudices.,Racism.,Discrimination en éducation.,Éducation interculturelle.,Enseignement-- Travail en équipe.,Pluralisme.,Préjugés.,Racisme.,Cultural pluralism.,Discrimination in education.,Group work in education.,Intercultureel onderwijs.,Multicultural education.,Prejudices.,Racism.
رده :
LC1099
.
C815
1992
13. Dermatology
پدیدآورنده: Robin Graham-Brown, John Savin, Janeen Milner
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Skin Diseases, diagnosis,Primary Health Care, methods,Skin Diseases, etiology,Skin Diseases, therapy,Handbooks
رده :
WR
14. Framing Russian Art
پدیدآورنده: \ Oleg Tarasov ; Translated by Robin Milner-Gulland and Antony Wood ; with an Editorial preface by Robin Milner Gulland
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Picture frames and framing -- Russia,Picture frames and framing -- Philosophy,قاب عکس و قاب‌سازی -- روسیه
رده :
E-Book
,
15. In search of the common good
پدیدآورنده: edited by Dennis McCann and Patrick D. Miller
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Good and evil
رده :
BJ
,
1401
,.
I5
,
2005
16. In search of the common good
پدیدآورنده: edited by Dennis McCann and Patrick D. Miller
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع: ، Good and evil
رده :
BJ
1401
.
I5
17. Masterminds of programming /
پدیدآورنده: edited by Federico Biancuzzi and Shane Warden.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms.,Computer programmers, Interviews.,Computer programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
M37
2009
18. Masterminds of programming /
پدیدآورنده: edited by Federico Biancuzzi and Shane Warden.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer algorithms.,Computer programmers, Interviews.,Computer programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
.
M37
2009
19. Mathematical foundations of computer science 1993 :
پدیدآورنده: Andrzej M. Borzyszkowski, Stefan Sokołowski, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.,Informatique -- Mathématiques -- Congrès
رده :
QA76
.
9
.
M35
A537
1993
20. Proof, language, and interaction
پدیدآورنده: / edited by Gordon Plotkin, Colin Stirling, and Mads Tofte
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer science
رده :
QA
76
.
P699
2000
